extensions-tool: Show Philip some info

Add a 'show' alias for the previously added 'info' command
because it makes sense:

https://twitter.com/pwithnall/status/1036895943004762112

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234

diff --git a/src/extensions-tool/completion/bash/gnome-extensions b/src/extensions-tool/completion/bash/gnome-extensions
index e0286729b2b4f215108814d456f12dd12d1d54a1..91a4d6894f65c9cc24081b3e463502f7b9568fc8 100644 (file)
--- a/src/extensions-tool/completion/bash/gnome-extensions
+++ b/src/extensions-tool/completion/bash/gnome-extensions
@@ -5,7 +5,7 @@
 ################################################################################
 
 __gnome_extensions() {
-  local commands="version enable disable info list create"
+  local commands="version enable disable info show list create"
   local COMMAND=${COMP_WORDS[1]}
 
   _init_completion -s || return
@@ -29,7 +29,7 @@ __gnome_extensions() {
         enable)
           local list_opt=--disabled
           ;;&
-        enable|disable|info)
+        enable|disable|info|show)
           COMPREPLY=($(compgen -W "`gnome-extensions list $list_opt`" -- "$2"))
           return 0
           ;;

diff --git a/src/extensions-tool/main.c b/src/extensions-tool/main.c
index 592530611370b418dce896f96c90f0b201f4b60c..c5b0d5bd7d329be42a1c59194ca7a5ffa382b80d 100644 (file)
--- a/src/extensions-tool/main.c
+++ b/src/extensions-tool/main.c
@@ -160,6 +160,7 @@ usage (void)
   g_printerr ("  disable   %s\n", _("Disable extension"));
   g_printerr ("  list      %s\n", _("List extensions"));
   g_printerr ("  info      %s\n", _("Show extension info"));
+  g_printerr ("  show      %s\n", _("Show extension info"));
   g_printerr ("  create    %s\n", _("Create extension"));
   g_printerr ("\n");
   g_printerr (_("Use %s to get detailed help.\n"), "“gnome-extensions help COMMAND”");
@@ -222,6 +223,8 @@ main (int argc, char *argv[])
     return handle_list (argc, argv, do_help);
   else if (g_str_equal (command, "info"))
     return handle_info (argc, argv, do_help);
+  else if (g_str_equal (command, "show"))
+    return handle_info (argc, argv, do_help);
   else if (g_str_equal (command, "create"))
     return handle_create (argc, argv, do_help);
   else

diff --git a/src/extensions-tool/man/gnome-extensions.txt b/src/extensions-tool/man/gnome-extensions.txt
index d3f7137c985c8d2220f23db8680a157a1b6b1d2e..80d0307b10c63ccafaeac4ff4cba67b4ea0c1ad8 100644 (file)
--- a/src/extensions-tool/man/gnome-extensions.txt
+++ b/src/extensions-tool/man/gnome-extensions.txt
@@ -21,6 +21,8 @@ SYNOPSIS
 
 *gnome-extensions* info 'UUID'
 
+*gnome-extensions* show 'UUID'
+
 *gnome-extensions* list ['OPTION'...]
 
 *gnome-extensions* create ['OPTION'...]
@@ -56,6 +58,9 @@ If the extension is not enabled, the command will do nothing.
 Show details of the extension identified by 'UUID', including name,
 description and state.
 
+*show* 'UUID'::
+Synonym of info.
+
 *list* ['OPTION'...]::
 Displays a list of installed extensions.
 +